Atomicity : A Unifying Concept in Computer Science Dagstuhl Seminar
نویسندگان
چکیده
From 19.03.06 to 24.03.06, the Dagstuhl Seminar 06121 Atomicity: A Unifying Concept in Computer Science was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The rst section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
منابع مشابه
Report from Dagstuhl Seminar 16031 Well Quasi - Orders in Computer Science
This report documents the program and the outcomes of Dagstuhl Seminar 16031 “Well QuasiOrders in Computer Science”, the first seminar devoted to the multiple and deep interactions between the theory of Well quasi-orders (known as the Wqo-Theory) and several fields of Computer Science (Verification and Termination of Infinite-State Systems, Automata and Formal Languages, Term Rewriting and Proo...
متن کاملComputer Science in High Performance Sport - Applications and Implications for Professional Coaching (Dagstuhl Seminar 13272)
This report documents the program and the outcomes of Dagstuhl Seminar 13272 “Computer Science in High Performance Sport – Applications and Implications for Professional Coaching”. There were 25 presentations organized into 5 sessions over the course of three days focusing on various aspects on the relevance, applications and current issues pertaining to computer science in sport and it’s appli...
متن کاملScience and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441)
Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441) Holger Giese, Bernhard Rumpe, Bernhard Schätz, and Janos Sztipanovits . . . . . . . . 1 Data Mining, Networks and Dynamics (Dagstuhl Seminar 11451) Lars Elden and Andreas Frommer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23 Analysis of Dynamic Social and Technological N...
متن کاملOpen Models as a Foundation of Future Enterprise Systems (Dagstuhl Seminar 12131)
Computation and Incentives in Social Choice (Dagstuhl Seminar 12101) Edith Elkind, Christian Klamler, Jeffrey S. Rosenschein, and M. Remzi Sanver . . 1 Normative Multi-Agent Systems (Dagstuhl Seminar 12111) Giulia Andrighetto, Guido Governatori, Pablo Noriega, and Leon van der Torre . . 23 Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121) Lisbeth Fajstrup, Dmit...
متن کاملAnalysis, Interpretation and Benefit of User-Generated Data: Computer Science Meets Communication Studies (Dagstuhl Seminar 16141)
This report documents the program and the outcomes of Dagstuhl Seminar 16141 “Analysis, Interpretation and Benefit of User-Generated Data: Computer Science Meets Communication Studies”. Seminar April 3–8, 2016 – http://www.dagstuhl.de/16141 1998 ACM Subject Classification H. Information Systems
متن کامل